Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
251	Compilation of Planning to SAT Yiqiao Wang 1 Motivation Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 10:57:49 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Solver Satisfiability Davis–Putnam algorithm Theoretical computer science Mathematics Applied mathematics
252	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Logical connective Logic Mathematical logic Propositional calculus
253	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner () NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: rddlsim.googlecode.com Language: English - Date: 2014-10-06 22:18:15 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science
254	A Probabilistic Boolean Logic and its Meaning Lakshmi N. B. Chakrapani , Krishna V. Palem* Department of Computer Science Rice University Houston, Texas, USA {chakra,palem}@rice.edu Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 22:05:33 Boolean algebra Probabilistic logic PP Probability interpretations Probability Propositional calculus IP Boolean circuit FO Theoretical computer science Mathematical logic Mathematics
255	CS109A Notes for LectureThe Essence of Proof Mathematical proof is essentially persuasive prose. Like an essay, it is eective if it convinces the listener. Also like an essay, we can learn certain rhetorica Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:57:46 Propositional calculus Rules of inference Boolean algebra Modus ponens Truth table Contraposition Proof by contradiction Vacuous truth First-order logic Logic Mathematics Mathematical logic
256	Deriving Laws from Ordering Relations Kevin H. Knuth Computational Sci. Div., NASA Ames Research Ctr., M/S 269-3, Moffett Field CAAbstract. The effect of Richard T. Cox’s contribution to probability theory was t Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2005-10-25 03:31:02 Lattice theory Algebraic structures Order theory Distributive lattice Lattice Boolean algebra Distributivity Partially ordered set Distributive property Mathematics Abstract algebra Algebra
257	CS109B Notes for LectureWhy Logic? Models reasoning, mathematical proofs, hu Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:08 Propositional calculus Boolean algebra Semantics Logical connectives Model theory Truth table Interpretation Function Propositional variable Logic Mathematical logic Mathematics
258	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Formal languages Boolean algebra Propositional calculus Well-formed formula Logical connective FO Propositional formula First-order logic Logic Mathematical logic Logical syntax
259	18.312: Algebraic Combinatorics Lionel Levine Lecture 12 Lecture date: March 17, 2011 Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2011-08-19 00:40:35 Algebra Algebraic logic Incidence algebra Order theory Boolean algebra Lattice Fuzzy logic Residuated lattice Residuated Boolean algebra Abstract algebra Mathematics Algebraic structures
260	Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-04-19 08:48:52 Automated planning and scheduling Propositional calculus Constraint programming Formal methods Planning Domain Definition Language Boolean algebra Satisfiability Modulo Theories Interpretation Function Logic Mathematics Mathematical logic

UPDATE